magnifier: Animate focus/caret position changes

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/984

diff --git a/js/ui/magnifier.js b/js/ui/magnifier.js
index 07efadb0fe6e41b57fe51c3b0e6fc8c1f513adf7..0ddfbc1932b6fd6889eb4bf2a2788dbefdfb6eca 100644 (file)
--- a/js/ui/magnifier.js
+++ b/js/ui/magnifier.js
@@ -1186,7 +1186,8 @@ var ZoomRegion = class ZoomRegion {
 
         this._followingCursor = false;
         this._changeROI({ xCenter: x,
-                          yCenter: y });
+                          yCenter: y,
+                          animate: true });
     }
 
     /**